| Model: | consensus v.1 (MDP) |
| Parameter(s) | N = 6, K = 2 |
| Property: | disagree (prob-reach) |
./pet.sh reachability --precision 0.001 --relative-error --only-result -m consensus.6.prism -p consensus.props --property disagree --const K=2
| Walltime: | 600.5719017982483s |
| Return code: | 130 |